Disjunctive normal form

#	Item
11	Microsoft Word - ijcai05d.doc Add to Reading List Source URL: www-aig.jpl.nasa.gov Language: English - Date: 2007-06-28 00:31:02 O0 Control theory Disjunctive normal form Economic model Logic Science Mathematics Algebraic logic Boolean algebra Adnan Darwiche
12	Microsoft Word - ijcai05d.doc Add to Reading List Source URL: ai.jpl.nasa.gov Language: English - Date: 2007-06-28 00:31:02 O0 Control theory Disjunctive normal form Economic model Logic Science Mathematics Algebraic logic Boolean algebra Adnan Darwiche
13	PDF Document Add to Reading List Source URL: configit.com Language: English - Date: 2013-07-18 08:44:52 Logic Propositional calculus Semantics Algebraic logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Boolean algebra Mathematics Mathematical logic
14	PDF Document Add to Reading List Source URL: web.mit.edu Language: English - Date: 2007-04-06 00:49:19 Abstract algebra Linear algebra Formal methods Implicant Vector space Conjunctive normal form Disjunctive normal form Lambda calculus Variable Algebra Mathematics Boolean algebra
15	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-02 16:27:23 Boolean algebra Conjunctive normal form Disjunctive normal form Implicant Decision list IP FO Time complexity Boolean satisfiability problem Theoretical computer science Computational complexity theory Mathematics